Die abortive Behandlung des Furunkels (Karbunkels) mit Hilfe subkutaner Desinfektion (Schluss aus No. 18.)

Validierung des Bereichsdatencompilers für die Linienzugbeeinflussung LZB L72 CE mit Hilfe eines diversitären Ansatzes

Bei der Linienzugbeeinflussung (LZB) sind die festen Streckendaten eines LZB-Steuerbereichs (Gleistopologie mit Weichenund Signalstandorten, Langsamfahrstellen, Neigungen, usw.) in der anlagenspezifischen LZB-Software gespeichert. Für die Zentralen LZB L72 CE werden in textueller, lesbarer Form sog. Bereichsdaten projektiert. Diese Bereichsdaten werden durch den Bereichsdatencompiler (BDC) in m...

Die semantische Auswertung von Produktanforderungen mit Hilfe von GermaNet

Über die Berechnung der inversen Matrix mit Hilfe der Intervallrechnung

I Berechnet man zu einer nichtsingulären Matrix ~ die Inverse auf einer Rechenanlage, so wird das Resultat durch die unvermeidlichen Rundungsfehler verfälscht. Will man nun die Rundungsfehler mit berücksichtigen, so führt dies auf die Aufgabe, die Inverse möglichst gut in Schranken einzuschließen. Bei der Lösung dieser Aufgabe machen wir Gebrauch von den in [1]"beschriebenen Verknüpfungen für I...

Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls

A Generalization of Supervisor Synthesis based on the μ-Calculus The present work deals with the specification and implementation of systems with discrete state spaces. This large class of systems encompasses, for example, information processing systems, which play an important role in modern life. The dynamics of these systems include concurrent processes, and concurrency can give rise to stat...

Text statt C++: Automatisierung des Systementwurfs mit Hilfe natürlicher Sprachverarbeitung